extension lemma

外延引理